(define (problem ferry2)
    (:init (place a)
	   (place b)
	   (auto c1)
	   (at c1 a)
	   (at-ferry a)
	   (empty-ferry))
  (:objects a b c1)
  (:goal (and (at c1 b)))
  (:length (:serial 3) (:parallel 3))
  (:domain ferry))

